TAGs: prime factorization